| Name | Version | Summary | date |
|---|---|---|---|
| omega | 0.4.0 | Symbolic algorithms for solving games of infinite duration. | 2024-02-16 15:25:15 |
| pylogics | 0.2.1 | A Python library for logic formalisms representation and manipulation. | 2023-06-06 08:26:46 |
| hour | day | week | total |
|---|---|---|---|
| 45 | 1489 | 6802 | 283957 |